Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
511	PHYSICAL REVIEW B 66, 054407 共2002兲 Heisenberg spin triangles in ˆV6 ‰-type magnetic molecules: Experiment and theory Add to Reading List Source URL: jun.ucsd.edu Language: English - Date: 2015-08-13 19:48:01
512	Representing Aggregators in Relational Probabilistic Models David Buchman⇤ Department of Computer Science University of British Columbia Vancouver, BC, Canada Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-11-23 13:34:56 Model theory Predicate logic Statistical models Regression analysis Probability theory Bayesian network Exchangeable random variables FO Type Expected value Joint probability distribution Quantifier
513	Thesis Proposal – Dottorato di Ricerca in Informatica Towards formalized mathematics repositories based on type theory Matthias Puech∗ Dipartimento di Scienze dell’Informazione — Universit` Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24
514	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:14 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
515	Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu, Keisuke Nakano Makoto Hamana*, Masato Takeichi Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Lambda calculus Bidirectionalization Database theory Joint Electronics Type Designation System Combinatory logic Computing Military Electronics
516	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
517	Inference and Checking of Object Ownership Wei Huang1, Werner Dietl2, Ana Milanova1, Michael D. Ernst2 1Rensselaer Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-07-02 11:46:59 Type theory Concurrent programming languages Type systems Null Go Type inference
518	A Cubical Type Theory Cork, August 26, 2015 A Cubical Type Theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-28 07:45:41
519	Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley Add to Reading List Source URL: andykeep.com Language: English - Date: 2015-09-01 05:05:21 Compiler construction Programming language implementation Compiler optimizations Object-oriented programming languages Type theory Compiler Just-in-time compilation Interpreter Type inference Objective-C Static single assignment form C
520	1 CHEAT SHEET: BASIC PYTHON CODING FOR JOURNALISTS \| TOMMY KAAS, KAAS & MULVAD Find me on Twitter: @tbkaas GLOBAL INVESTIGATIVE JOURNALISM CONFERENCE – LILLEHAMMER, NORWAY 2015 The screenshots below are almost all fro Add to Reading List Source URL: 46.38.172.73 Language: English Data types Object-oriented programming languages High-level programming languages Type theory Scripting languages Len Python Sequence D Variable String Type system

UPDATE